International Refinement Workshop & Formal Methods Pacific '98

7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems

ion for Software Model-Checking..................................................................1 Andreas Podelski (Max-Planck Institut für Informatik, Germany) SESSION 1 ABSTRACTION AND MODEL-CHECKING Predicate Abstraction and Refinement for Model Checking VHDL State Machines........... .......3 M. Bourahla, M. Benmohamed A Tool for Abstraction in Model Checking..................................

Evolution of the Asia-Pacific Trade Architecture: Stocktake and Future Outlook

APEC Study Centre, University of Auckland, Auckland, New Zealand     Abstract:   One of the key sets of questions underlying Asia Pacific economic cooperation over the last decade has been over the nature and form of the regional trade architecture that would gradually emerge from the turmoil of the Asia-Pacific “noodle bowl” of bilateral and plurilateral FTAs, and how that architecture...

Second Workshop on Security in Business Processes

The second workshop on Security in Business Processes (SBP’13) was organised in conjunction with the 11th international conference on Business Process Management (BPM 2013). Over 20 participants attended the workshop to present and discuss 6 papers, the insights they offered and the issues they raised. During the half-day workshop, a number of important and emerging issues in this area were dis...

Contributions to AI 4 FM 2015

This report contains a collection of abstracts for all the talks in the 6th International Workshop on the use of AI in Formal Methods (AI4FM 2015). The main goal of the AI4FM workshop series is to bring together researchers from formal methods, automated reasoning and AI; aiming to address the issue of how AI can be used to support the formal software development and verification process, inclu...

Proceedings of the 5 th International Workshop on Formal Methods for Interactive Systems ( FMIS 2013 ) Preface